while loop in shell scripting